1. Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
پدیدآورنده : Laurent Fribourg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2142
2. Control of switching systems by invariance analysi
پدیدآورنده : / Laurent Fribourg, Romain Soulat
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Switching circuits.,Electronic controllers.,Control theory.
رده :
TK7868
.
S9F72
2013
3. Control of switching systems by invariance analysis :application to power electronics
پدیدآورنده : Fribourg, Laurent
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Switching circuits,، Electronic controllers,، Control theory
رده :
QA
402
.
3
.
F75
2013
4. Logic program synthesis and transformation--Meta-programming in Logic, 4th International Workshops, LOPSTR'94 and META'94Pisa, Italy, June 20-21 1994 : proceedings
پدیدآورنده : Laurent Fribourg, Franco Turini, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
883
5. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
